81. Concepts of programming languages
پدیدآورنده : Elson, Mark
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
E47
82. Constraint-based grammar formalisms : parsing and type inference for natural and computer languages
پدیدآورنده : Shieber, Stuart M.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computational linguistics,Data processing ، Grammar, Comparative and general,Syntax ، Programming languages )Electronic computers(,، Parsing )Computer grammar(
رده :
P
98
.
S5
83. Cooperative interfaces to information systems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Online data processing,، Programming languages )Electronic computers(,، Information storage and retrieval systems
رده :
QA
76
.
55
.
C66
1986
84. Coroutines : a programming methodology, a language design, and an implementation
پدیدآورنده : Marlin, Christopher D.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
95
85. Coroutines : a programming methodology, a language design, and an implementation
پدیدآورنده : Marlin, Christopher D., 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
95
86. Data - Structures and programming
پدیدآورنده : / Malcolm C. Harrison
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
642
H321d
87. Data structures, files and databases
پدیدآورنده : Bamford, Carl
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Data bases,، Data structures )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D32
B3
1991
88. Decision table languages and systems
پدیدآورنده : Metzner, John R.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Decision logic tables
رده :
QA
76
.
6
.
M484
89. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
90. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
91. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
92. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : Proceedings
پدیدآورنده : edited by B. Robinet and R. Wilhelm
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
213
93. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده : edited by B. Robinet and R. Wilhelm
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
213
94. ESOP 86 : European Symposium on Programming, Saarbrغucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده : European Symposium on Programming, )1st, 6891, Saarbrucken, Germany(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1986
95. Etude comparative des langages de programmation
پدیدآورنده : Eigman, Bryan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
H4914
96. Etude comparative des languages de programmation
پدیدآورنده : Higman, Bryan
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
H4914
97. Etude comparative des languages de programmation
پدیدآورنده : / par Bryan Higman, Traduit pad M. T. Margulici
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Programming languages [Electronic computers]
رده :
651
.
8
Hi-E
98. Exploring Robotics with ROBOTIS Systems
پدیدآورنده : Chi N. Thai
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science. , Programming languages (Electronic computers) , Artificial intelligence.
رده :
E-Book
,
99. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
100. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
